Microbes,mathematics, and models

Microbial model systems have a long history of fruitful use in fields that include evolution and ecology. In order to develop further insight into modelling practice, we examine how the competitive exclusion and coexistence of competing species have been modelled mathematically and materially over the course of a long research history. In particular, we investigate how microbial models of these dynamics interact with mathematical or computational models of the same phenomena. Our cases illuminate the ways in which microbial systems and equations work as models, and what happens when they generate inconsistent findings about shared targets. We reveal an iterative strategy of comparative modelling in different media, and suggest reasons why microbial models have a special degree of epistemic tractability in multimodel inquiry.     

一维水平自发渗吸无因次模型及其数值解

对影响渗吸特征的油藏参数进行归整, 导出考虑毛细管回压的一维自发渗吸问题无因次模型。该模型选取水相归一化饱和度和无量纲压力作为主未知变量, 毛管压力函数只在模型的一个偏微分方程中出现, 便于数值求解。在求解该模型的全隐式守恒型差分格式中, 对两邻点间饱和度函数取平均饱和度下的值, 就可以得到该问题的数值解。通过对幂律型相对渗透率和毛管压力曲线情形下此模型数值解的讨论, 指出前人关于一维不可压自发渗吸问题解析解所用的假设条件只对纯逆向渗吸有一定的适用性。通过多个同逆并发渗吸算例, 得到油藏参数变化对渗吸动态特征影响的初步认识。     

春节模型的效应期识别方法研究

春节模型的参数设定目前更多依赖于研究者的主观判断.为解决这一问题,本文首先介绍了春节因素调整的一般过程以及模型设定和检验的相关细节.在此基础上,提出一种基于"循环遍历"方式和序贯检验方法来自动选择春节模型的最优参数组合的新思路.并以社会消费品零售总额月度序列的春节模型的最优效应期长度识别为例,检验该方法的可行性和有效性.实证结果显示,基于季节峰值、离群值点、Q统计量、AICC值和BIC值等统计量的序贯检验能够有效识别出春节模型的最优效应期长度,进而改善春节模型的季节调整性能.     

差异化定价策略下的远洋洲际班轮航速与航线配船优化

针对远洋洲际集装箱班轮航速与航线配船优化问题,在考虑集装箱货物时间价值的基础上,通过分析在往返两个长航段上船舶航速变化对货物运输时间的影响,构造了对即期市场客户随航速变化的差异化定价函数,以船公司周利润最大化为目标,构建了集装箱班轮航速与航线配船混合整数非线性规划模型,设计离散化求解算法.算例验证了模型和算法的有效性和适用性.结果表明,差异化定价策略下的航速与航线配船优化,不仅可以降低客户集装箱货物的时间成本,而且也能够明显地增加船公司的运输收益.此外,使最优航速阶梯型下降的燃油价格阈值会随着收益增量比例系数的提高而增大.研究结论可以为船公司航线配船决策提供科学的参考.     

一种基于视频图像的挖掘机工作状态识别方法

为了实现违法用地现象的实时监测,对土地间的挖掘机等施工机械的工作状态识别是非常重要的.实际场景下,因随机噪声和光照变化的影响,给挖掘机工作状态识别带来极大的挑战.本文提出一种基于视频图像的挖掘机工作状态识别方法,首先,对同一品牌挖掘机工作装置的各种姿态建立混合local binary features (LBF)形状回归模型并进行离线训练;其次,利用上述模型预测输入视频帧中挖掘机工作装置的形状信息,构建挖掘机的工作状态特征描述子;最后,利用support vector machine (SVM)分类器自动判别挖掘机的工作状态—-工作状态或非工作状态.实验结果表明,该方法很好地克服了多姿态导致形状变化的影响,对挖掘机工作状态识别准确率达到了93.53%.     

钩形弯交叉口信号协同控制优化方法研究

针对车辆在钩形弯交叉口与相邻常规交叉口间的整体运行特性，建立了各条车道的车辆平均延误计算模型。以各交叉口的周期时长和相位绿灯时间为约束，钩形弯交叉口与相邻常规交叉口间的车辆平均延误最小为目标，建立了信号协同配时方案。以位于苏州市高新区内有轨电车沿线的两个相邻交叉口为例，采用实际数据验证所建立的方法，并设置钩形弯渠化方案。将设置的钩形弯交叉口与其相邻常规交叉口的信号协同作为改进方法，在VISSIM软件中对比分析改进方案与现状方案的车辆延误指标。实验结果表明，钩形弯交叉口与相邻常规交叉口的信号协同优化方法可有效提高交叉口的通行能力，尤其是干道直行机动车的通行能力，可降低车辆的平均延误。     

带有Lévy跳的随机捕食-食饵系统动力学行为

研究带有Lévy跳的随机捕食-食饵模型的动力学行为.主要通过构造恰当的Lyapunov函数,使用It公式证明了系统全局正解的存在唯一性,给出了系统随机持久、灭绝的充分条件,通过数值模拟进一步说明了所得理论结果的正确性.     

Lattice Solid/Boltzmann Microscopic Model to Simulate Solid/Fluid Systems-A Tool to Study Creation of Fluid Flow Networks for Viable Deep Geothermal Energy

SUMMARY:Realizing the potential of geothermal energy as a cheap, green, sustainable resource to provide for the planet’s future energy demands that a key geophysical problem be solved first:how to deve...     

构建网络工程专业双语教学课程体系

提出了普通高校网络工程专业构建双语教学课程体系的新思路,针对同一教学对象,渐进地、不间地断实施双语教学,使其贯穿整个本科学习阶段.推动双语教学可持续发展,使其真正成为培养国际化复合型人才的有效手段.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.